1. Analysis: An introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Mathematical analysis,Proof theory
رده :
QA
,
300
,.
L427
2. Analysis:an introduction to proof
پدیدآورنده : LAY,STEVEN R
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MATHEMATICAL ANALYSIS , PROOF THEORY
رده :
QA
300
.
L427
3. Analysis: an introduction to proof
پدیدآورنده : Lay, Steven R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
L427
1986
4. Analysis with an introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Mathematical analysis,Proof theory
5. Extending the fronters of mathematics:inquiries into ....
پدیدآورنده : / By Edward B.Burger
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Proof theory,Mathematical analysis,Logic symbolic & mathematical
رده :
511
.
36
B954e
6. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده : )by( Wilfreid Buchholz )et al(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
7. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
299
.
8
.
I85
1981
8. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
9. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... )et al.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
10. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
11. Mathematical analysis and proof
پدیدآورنده : / by David S.G. Stirling
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Mathematical analysis
رده :
QA9
.
54
.
S757
1997
12. Mathematical analysis and proof
پدیدآورنده : Stirling, David S.G.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
S585
1997
13. Mathematical analysis and proof
پدیدآورنده : Stirling, David S. G.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Mathematical analysis , Proof theory
رده :
QA
300
.
S887
1997
14. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
15. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
16. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
17. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
18. Transition to Analysis with Proof
پدیدآورنده : \ Steven G. Krantz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory -- Textbooks,Mathematical analysis -- Textbooks,آنالیز ریاضی -- کتابهای درسی
رده :
E-Book
,